menu: Remove initially_pushed_in flag

Unused.

diff --git a/gtk/gtkmenuprivate.h b/gtk/gtkmenuprivate.h
index d8ef9c84dcb65d42a81cf08515979a9c77277429..1d9dda74bc3fb4ed2581a1d157ac35d5f4f7480e 100644 (file)
--- a/gtk/gtkmenuprivate.h
+++ b/gtk/gtkmenuprivate.h
@@ -99,7 +99,6 @@ struct _GtkMenuPrivate
   gint heights_length;
   gint requested_height;
 
-  gboolean initially_pushed_in;
   gint monitor_num;
 
   /* Cached layout information */